Augustsson, Lennart: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Functional Pearl: On generating unique names

Augustsson, Lennart, Rittri, Mikael, Synek, Dan

Journal:

Journal of Functional Programming

Year:

1994

Language:

english

File:

PDF, 415 KB

english, 1994

2

[ACM Press the 1984 ACM Symposium - Austin, Texas, United States (1984.08.06-1984.08.08)] Proceedings of the 1984 ACM Symposium on LISP and functional programming - LFP '84 - A compiler for lazy ML

Augustsson, Lennart

Year:

1984

Language:

english

File:

PDF, 611 KB

english, 1984

3

Cayenne---a language with dependent types

Augustsson, Lennart

Journal:

ACM SIGPLAN Notices

Year:

1999

Language:

english

File:

PDF, 1.24 MB

english, 1999

4

Paradise

Augustsson, Lennart, Mansell, Howard, Sittampalam, Ganesh

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 107 KB

english, 2008

5

Special Issue on Run-Time Systems and Target Platforms for Functional Languages: Editorial

Sperber, Michael, Augustsson, Lennart

Journal:

Journal of Functional Programming

Year:

2014

Language:

english

File:

PDF, 182 KB

english, 2014

6

[ACM Press the third ACM SIGPLAN international conference - Baltimore, Maryland, United States (1998.09.26-1998.09.29)] Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 - Cayenne---a language with dependent types

Augustsson, Lennart

Year:

1998

Language:

english

File:

PDF, 1.24 MB

english, 1998

7

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - Paradise

Augustsson, Lennart, Mansell, Howard, Sittampalam, Ganesh

Year:

2008

Language:

english

File:

PDF, 107 KB

english, 2008

8

[ACM Press the conference - Copenhagen, Denmark (1993.06.09-1993.06.11)] Proceedings of the conference on Functional programming languages and computer architecture - FPCA '93 - Implementing Haskell overloading

Augustsson, Lennart

Year:

1993

Language:

english

File:

PDF, 782 KB

english, 1993

9

[ACM Press the 1997 ACM SIGPLAN symposium - Amsterdam, The Netherlands (1997.06.12-1997.06.13)] Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97 - Partial evaluation in aircraft crew planning

Augustsson, Lennart

Year:

1997

Language:

english

File:

PDF, 700 KB

english, 1997

10

Benchmarking implementations of functional languages with ‘Pseudoknot’, a float-intensive benchmark

Hartel, Pieter H., Feeley, Marc, Alt, Martin, Augustsson, Lennart, Baumann, Peter, Beemster, Marcel, Chailloux, Emmanuel, Flood, Christine H., Grieskamp, Wolfgang, Van Groningen, John H. G., Hammond,

Journal:

Journal of Functional Programming

Year:

1996

Language:

english

File:

PDF, 1.91 MB

english, 1996

11

The interactive Lazy ML system

Augustsson, Lennart

Journal:

Journal of Functional Programming

Year:

1993

Language:

english

File:

PDF, 947 KB

english, 1993

12

SPIE Proceedings [SPIE Photonics Fabrication Europe - Brugge, Belgium (Monday 28 October 2002)] Laser Diodes, Optoelectronic Devices, and Heterogenous Integration - Hybrid integration technologies for a single-mode array transceiver, including the use of polymer waveguides of benzocyclobutene

Arvidsson, Gunnar, Backlin, Lennart, Olson, Magnus, Scholes, Andrew P., Haglund, Joacim, Svensson, Magnus, Palmskog, Goran F., Augustsson, Torsten, Eriksen, Paul, Granberg, Mats, Larsson, Jacob, Lunds

Year:

2003

Language:

english

File:

PDF, 332 KB

english, 2003

13

[ACM Press the 9th International Symposium - Nara, Japan (2016.09.22-2016.09.23)] Proceedings of the 9th International Symposium on Haskell - Haskell 2016 - Experience report: types for a relational algebra library

Augustsson, Lennart, Ågren, Mårten

Year:

2016

Language:

english

File:

PDF, 180 KB

english, 2016